Finite Closed Sets of Functions in Multi-valued Logic
نویسنده
چکیده
The article is devoted to classification of close sets of functions in k-valued logic. We build the classification of finite closed sets. The sets contain only constants and unary functions since sets containing even a two-ary function are infinite. Formulas of the number of finite sets and minimal sets exist for all natural k. We find the numbers of closed sets containing the identity function f (x)=x or a constant for all k. We give the number of sets on levels of inclusions at k up to 10. The inclusion diagrams are present at k up to 5, at k=6 we give inclusion diagrams of sets containing only function f (x)=x and constant 0. We find isomorphic sets and use only one of the isomorphic sets to build the diagrams.
منابع مشابه
Classification of Closed Sets of Functions in Multi-valued Logic
Using Mal’cev’s preiterative algebra (iterative algebra is not sound) we construct in the first time the natural classification of closed sets of functions in multi-valued logic: every closed set belongs only one class and the classes are disjoint. All contemporary papers construct only intersecting classes. We confirm Post’s thesis that multi-valued logic does not contain anything special in c...
متن کاملZero sets in pointfree topology and strongly $z$-ideals
In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...
متن کاملSome Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions
Closed classes of three-valued logic generated by periodic symmetric funtions that equal 1 in tuples from {1, 2} and equal 0 on the rest tuples are considered. Criteria for bases existence and finite bases existence for these classes is obtained. The problem of the bases existence for some families of closed classes of the three-valued logic functions is considered in the paper. E. Post [1] (se...
متن کاملFunctionally closed sets and functionally convex sets in real Banach spaces
Let $X$ be a real normed space, then $C(subseteq X)$ is functionally convex (briefly, $F$-convex), if $T(C)subseteq Bbb R $ is convex for all bounded linear transformations $Tin B(X,R)$; and $K(subseteq X)$ is functionally closed (briefly, $F$-closed), if $T(K)subseteq Bbb R $ is closed for all bounded linear transformations $Tin B(X,R)$. We improve the Krein-Milman theorem ...
متن کاملAnalytical D’Alembert Series Solution for Multi-Layered One-Dimensional Elastic Wave Propagation with the Use of General Dirichlet Series
A general initial-boundary value problem of one-dimensional transient wave propagation in a multi-layered elastic medium due to arbitrary boundary or interface excitations (either prescribed tractions or displacements) is considered. Laplace transformation technique is utilised and the Laplace transform inversion is facilitated via an unconventional method, where the expansion of complex-valued...
متن کامل